Compiler construction - PDFSEARCH.IO - Document Search Engine

Compiler construction
Results: 1898

#	Item
641	Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Compiler optimizations Compiler construction Programming language implementation Racket Just-in-time compilation PyPy Continuation Loop optimization Static single assignment form Software engineering Computing Software
642	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
643	Knowledge Acquisition by Symbolic Decision Tree Induction for Interpretation of Digital Images in Radiology Add to Reading List Source URL: www.data-mining-tutorial.de Language: English - Date: 2009-10-09 07:20:22 Attribute grammar Compiler construction Parsing Attribute Software engineering Binary tree Statistical hypothesis testing Pruning Statistics Decision trees Computing
644	A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing by Adrian D. Thurston Add to Reading List Source URL: www.colm.net Language: English - Date: 2008-12-15 22:45:48 Programming language theory Compiler construction Parsing LR parser TXL Earley parser CYK algorithm Formal grammar Programming language Formal languages Combinatorics Software engineering
645	Morphological Features for Parsing Morphologically-rich Languages: A Case of Arabic Jon Dehdari Department of Linguistics The Ohio State University Add to Reading List Source URL: aclweb.org Language: English - Date: 2011-10-03 03:55:31 Corpus linguistics Statistical natural language processing Compiler construction Parsing Part-of-speech tagging Treebank Statistical parsing Stochastic context-free grammar Plural Natural language processing Computational linguistics Linguistics
646	Microsoft Word - 5-semantic.doc Add to Reading List Source URL: www.mli.gmu.edu Language: English - Date: 2012-12-17 13:37:53 Programming paradigms Data modeling Object-oriented programming Attribute grammar Compiler construction Parsing EXPRESS Attribute Data mining Computing Software engineering Computer programming
647	Institut für Systemsoftware O.Univ.Prof. Dr. Hanspeter Mössenböck SPARC Backend for Graal Master thesis for Stefan Anzinger Matr.-Nr.: ... Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2014-03-10 05:52:06 Compiler construction Virtual machines HotSpot Java virtual machine Compiler Just-in-time compilation Java Software Computing System software
648	Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-01-06 20:12:34 Compiler construction Cross-platform software Java programming language Programming language implementation Computing platforms Java virtual machine Java bytecode Java Just-in-time compilation Computing Software engineering Software
649	Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-10-15 15:20:25 Dominator Graph theory Depth-first search Tree traversal Computing Search algorithms Mathematics Compiler construction
650	HILTI: An Abstract Execution Environment for Deep, Stateful Network Traffic Analysis Robin Sommer Matthias Vallentin Add to Reading List Source URL: www.icir.org Language: English - Date: 2014-09-04 13:34:27 Compiler construction LLVM Compiler Parsing Hilti Firewall D Communications protocol Bytecode Computing Software engineering Software

UPDATE